621. Algebraic foundations of systems specification
Author: E. Astesiano, H.-J. Kreowski, B. Krieg-Bruckner )eds.(
Library: Central Library and Documentation Center (Kerman)
Subject: ، Software engineering,، Formal methods )Computer science(,، System design
Classification :
QA
76
.
758
.
A437
1999
622. Algebraic methodology and software technolog
Author: / Josae Meseguer, Grigore Ro?su (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Software engineering--Congresses,Abstract data types (Computer science)--Congresses,Electronic books.
623. Algebraic methodology and software technolog : 6th international conference, AMAST'97 Sydney, Australia, December 13-17, 1997 : proceedings
Author: Michael Johnson )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Software engineering,Congresses ، Abstract data types )Computer science(
Classification :
QA
76
.
L28
Vol
.
1349
624. Algebraic methodology and software technology :
Author: AMAST '93. M. Nivat ... (ed.). Publ. in collab. with the British Computer Society
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Abstract data types (Computer science) -- Congresses,Software engineering -- Congresses,Softwareentwicklung
625. Algebraic methodology and software technology
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Software engineering ; Congresses. ; Abstract data types (Computer science) ; Congresses. ; Abstract data types (Computer science) ; fast ; (OCoLC)fst00794745. ; Software engineering. ; fast ; (OCoLC)fst01124185. ; Algebraische Methode. ; swd. ; Softwaree
626. Algebraic methodology and software technology :
Author: Michael Johnson, Dusko Pavlovic (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Abstract data types (Computer science), Congresses,Software engineering, Congresses
Classification :
QA76
.
758
.
I58
2011
627. Algebraic methodology and software technology : 7th International Conference, AMAST'99, Amazonia, Brazil, January 4-8, 1999 : proceedings
Author: Armando Martin Haeberer )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Software engineering,Congresses ، Abstract data types )Computer science(
Classification :
QA
76
.
L28
Vol
.
1548
628. Algebraic methodology and software technology : 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996 : proceedings
Author: Martin Wirsing, Maurice Nivat )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Software engineering,Congresses ، Abstract data types )Computer science(
Classification :
QA
76
.
L28
Vol
.
1101
629. Algebraic methodology and software technology : 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004 : proceedings
Author: Charles Rattray, Savitri Maharaj, Carron Shankland )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Software engineering,Congresses ، Abstract data types )Computer science(
Classification :
QA
76
.
L28
Vol
.
3116
630. Algebraic methodology and software technology : 8th international conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000 : proceedings
Author: Teodor Rus )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Software engineering,Congresses ، Abstract data types )Computer science(
Classification :
QA
76
.
L28
Vol
.
1816
631. Algebraic methodology and software technology : 9th international conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002 : proceedings
Author: Helene Kirchner, Christophe Ringeissen )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Software engineering,Congresses ، Abstract data types )Computer science(
Classification :
QA
76
.
L28
Vol
.
2422
632. Algebraic specifications in software engineering: An introduction
Author: Ivo Van Horebeek, Johan Lewi
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Software engineering,Abstract data type (Computer science)
Classification :
QA
،
76
,.
758
،.
H67
،
1989
633. Algebric Specification in software engineering an introduction
Author: Horebeek, Ivo Van, 1959-
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Software engineering ► Abstract data types (Computer Science
Classification :
005
5102
634. Algor Finite element analysis system: Advanced programmers manual
Author: ALGOR
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Algor,Data processing ، Finite element method,، Computer-aided engineering,Data processing ، Structural analysis )Engineering(
Classification :
TA
347
.
F5
A323
635. ]Algor Finite element analysis system[ Software companion with verification examples
Author: ALGOR
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Algor,Data processing ، Finite element method,، Computer-aided engineering
Classification :
TA
347
.
F5
A386
636. Algor Finite element analysis system: Stress decoder reference manual
Author: ALGOR
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Algor,Data processing ، Finite element method,، Computer-aided engineering,Data processing ، Structural analysis )Engineering(
Classification :
TA
347
.
F5
A388
637. ]Algor Finite element analysis system[ SuperCap reference notes
Author: ALGOR
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Algor,Data processing ، Finite element method,، Computer-aided engineering,Data processing ، Structural analysis )Engineering(
Classification :
TA
347
.
F5
A389
638. Algor Finite element analysis system: composite decoder and element release notes
Author: ALGOR
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Algor,Data processing ، Finite element method,، Computer-aided engineering,Data processing ، Structural analysis )Engineering(
Classification :
TA
347
.
F5
A326
639. ]Algor Finite element analysis system[ concurrent engineering handbook
Author: ALGOR
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Algor,Data processing ، Finite element method,، Computer-aided engineering,Data processing ، Structural analysis )Engineering(,، Concurrent engineering
Classification :
TA
347
.
F5
A326
640. Algorithm Engineering
Author: / Hannemann, Stefan Schirra-llerیMatthias M
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
